Semantics of logic - PDFSEARCH.IO - Document Search Engine

Semantics of logic
Results: 1541

#	Item
341	Event structure semantics for security protocols Jonathan Hayman and Glynn Winskel ? Computer Laboratory, University of Cambridge, United Kingdom Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-10-23 07:37:11 Logic in computer science Predicate logic Function Π-calculus Combinatory logic Free variables and bound variables FO Μ operator Linear temporal logic Mathematics Mathematical logic Theoretical computer science
342	1 Free Choice in Romanian Donka F. Farkas, UCSC May 2005 To appear in a Festschrift for Larry Horn edited by Gregory Ward and Betty Birner 1. Introduction1 Add to Reading List Source URL: people.ucsc.edu Language: English - Date: 2015-01-24 16:05:40 Logic Determiner Grammar Semantics Quantification Scalar Article Quantity SO Parts of speech Linguistics Syntax
343	Varieties of Indefinites Donka F. Farkas University of California, Santa Cruz 1. Introduction Languages that have determiners often have a rich inventory of them. In English, Add to Reading List Source URL: people.ucsc.edu Language: English - Date: 2015-01-24 16:05:40 Elementary mathematics Variables Quantification Predicate logic Interpretation Function Mathematics Logic Semantics
344	The Semantics of Version Control The semantics of version control 1 Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2014-11-07 03:44:28 Social philosophy Theoretical computer science Logic in computer science Logic Programming language semantics Applied mathematics Grammar Meaning Semantics
345	An Integrated Modal Approach to Rational Agents W. van der Hoek B. van Lindery J.-J. Ch. Meyer Utrecht University { Department of Computer Science P.O. Box { 3508 TB Utrecht { The Netherlands Abstract Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 1998-12-14 07:36:34 Artificial intelligence Science Philosophical logic Multi-agent systems Game theory Action theory Kripke semantics Dynamic logic Intelligent agent Logic Mathematical logic Modal logic
346	Claudio Vittorio Russo UK Address: Nationality: 3F1 12 Dryden Street Date of Birth: Edinburgh, EH7 4PN Add to Reading List Source URL: www.dcs.ed.ac.uk Language: English - Date: 1999-06-03 18:41:49 Logic in computer science Functional languages Procedural programming languages Programming paradigms Type theory Denotational semantics ML Programming language Common Object Request Broker Architecture Software engineering Computing Theoretical computer science
347	Notes from Definitions/Standards Breakout Group 3rd In-Person NISO Altmetrics Meeting January 23, 2014 – Philadelphia, PA Brainstorm very specific things that NISO could do!! Develop definitions: What is a download? Wh Add to Reading List Source URL: www.niso.org Language: English - Date: 2014-01-24 04:30:31 Definition Lexicography Meaning Philosophical logic Philosophy of language Semantics National Information Standards Organization Niso Tweet Linguistics Logic Analytic philosophy
348	Formalizing an Extensional Semantics for Units of Measure Andrew J. Kennedy Microsoft Research Cambridge Bugs caused by units-of-measure errors can have catastrophic Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-07-30 12:09:41 Philosophy of language Philosophy of mind Semantics Metaphilosophy Philosophy Logic Interpretation Model theory
349	Layers and Operators Revisited Matthew Anstey 1. Introduction1 Perhaps Functional Grammar’s most distinctive feature is its extensive use of the so-called layered structure of the clause (LSC). The LSC is used as both Add to Reading List Source URL: home.hum.uva.nl Language: English - Date: 2002-05-22 05:12:56 Grammar Predicate Quantification Proposition Theta role Linguistic modality Functional discourse grammar Negation Well-formed formula Logic Linguistics Semantics
350	Anveshan: A Framework for Analysis of Multiple Annotators’ Labeling Behavior Vikas Bhardwaj, Rebecca J. Passonneau and Ansaf Salleb-Aouissi Columbia University New York, NY, USA Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2010-07-05 10:44:41 Semantics Natural language processing Lexical semantics Philosophical logic Word-sense disambiguation SemEval Punctuation Word sense WordNet Linguistics Computational linguistics Science

UPDATE